摘要。无人机 (UAV) 的使用在各种应用中都具有诸多优势。然而,安全保障是广泛使用的一个关键障碍,尤其是考虑到无人机所经历的不可预测的操作和环境因素,这些因素很难仅在设计时捕捉到。本文提出了一种名为 SafeDrones 的新可靠性建模方法,通过实现无人机的运行时可靠性和风险评估来帮助解决这一问题。它是可执行数字可靠身份 (EDDI) 概念的原型实例,旨在为多机器人系统创建实时、数据驱动的可靠性保证的基于模型的解决方案。通过提供实时可靠性估计,SafeDrones 允许无人机以自适应方式相应地更新其任务。